/**
 * @properties={typeid:35,uuid:"6F30874D-AAB7-4D3E-968C-8D65A8D38038",variableType:6}
 */
var num = null;

/**
 * @properties={typeid:35,uuid:"573FC216-00DD-493B-905E-5182CB7C11F2",variableType:6}
 */
var num2 = null;

/**
 * Perform the element default action.
 *
 * @param {JSEvent} event the event that triggered the action
 *
 * @properties={typeid:24,uuid:"6815FA43-695E-44EF-9909-6C5B367A109D"}
 */
function redondeo(event) {
	num2 = globals.redondeo(num)
}
